/* Header */


#ifdef WHOLE_FILE


void foo();


#endif /* WHOLE_FILE */


/* Footer */
